Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
171	From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 05:00:45 Logic Mathematics Abstraction Mathematical logic Mathematical notation Predicate logic Elementary mathematics Metalogic Substitution Term Lambda calculus Structure
172	Properties of IsaCoSy’s Constraint Generation Algorithm Moa Johansson, Lucas Dixon, Alan Bundy February 16, 2010 Abstract This report states and sketches the proofs for some important properties of Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-05-28 10:14:09 Constraint programming Theoretical computer science Constraint Mathematical optimization Exact cover Logic programming Software engineering Cognitive science Constraint logic programming First class constraint
173	Ramsey Classes by Partite Construction I Honza Hubiˇcka Mathematics and Statistics University of Calgary Calgary Institute of Computer Science Add to Reading List Source URL: www.ucw.cz Language: English - Date: 2015-07-24 05:51:54 Mathematics Model theory Algebra Mathematical logic Ramsey theory Ramsey class Age Structure FO Semigroup Amalgamation property Isomorphism
174	to appear in TCS – www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions Lucian Wischik1 and Philippa Gardner2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2004-02-23 13:34:35 Theoretical computer science Mathematical logic Logic Formal methods Logic in computer science Process calculi -calculus Automated theorem proving Process calculus Lambda calculus Bisimulation Limit of a function
175	Minimizing maximum (weighted) flow-time on related and unrelated machines S. Anand1 Karl Bringmann2 Tobias Friedrich3 Naveen Garg1 Amit Kumar1 1 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:57 Computational complexity theory Theory of computation Analysis of algorithms Operations research Scheduling Algorithm Mathematical logic Theoretical computer science Time complexity NC Job shop scheduling
176	The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-08-18 20:05:39 Software engineering Programming language theory Computer programming Logic in computer science Formal languages Procedural programming languages Subroutines Computability theory Rewriting Recursion Whiley ALGOL 68
177	Decision-Driven Models with Probabilistic Soft Logic Stephen H. Bach Matthias Broecheler Stanley Kok Lise Getoor Department of Computer Science University of Maryland, College Park College Park, MD 20742, USA Add to Reading List Source URL: stephenbach.net Language: English - Date: 2013-06-10 18:15:09 Statistics Probability Probability theory Mathematical analysis Statistical models Statistical classification Machine learning Histopathology Prostate cancer Bayesian probability Stochastic process Probability distribution
178	Chapter 2 Untyped Lambda Calculus We assume the existence of a denumerable set VAR of (object) variables x0 , x1 , x2 , . . ., and use x, y, z to range over these variables. Given two variables x1 and x2 , we write x1 = Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-12-10 13:51:51 Theoretical computer science Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Lambda calculus Term Relationships among probability distributions Centripetal CatmullRom spline
179	International Journal of Geographical Information Science Vol. 00, No. 00, July 2006, 1–29 A Spatio-Temporal Ontology for Geographic Information Integration Thomas Bittner∗,1,2,3,4 , Maureen Donnelly1,3 , and Barry S Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:05:50 Logic Ontology Mathematical logic Mathematics Mereology Upper ontology First-order logic Formal ontology S Equivalence relation Problem of universals Binary relation
180	EMBEDDING OPEN DATA PRACTICE DEVELOPING INDICATORS ON THE INSTITUTIONALISATION OF OPEN DATA PRACTICE IN TWO AFRICAN GOVERNMENTS François van Schalkwyk, Michelle Willmers & Tobias Schonwetter Add to Reading List Source URL: webfoundation.org Language: English - Date: 2016-05-27 04:58:22 Academia Politics Philosophy of social science Free culture movement Institutional logic Social constructionism Political philosophy Institutional theory Open data Governance Organizational behavior E-government

UPDATE